36 found
Order:
  1.  94
    On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.
    I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  2.  73
    That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
  3.  61
    MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  4. (1 other version)An approach to tense logic.R. A. Bull - 1970 - Theoria 36 (3):282-300.
    The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  5.  37
    [Omnibus Review].R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
  6.  47
    A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
  7.  48
    (1 other version)An algebraic study of tense logics with linear time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.
  8.  69
    An algebraic study of diodorean modal systems.R. A. Bull - 1965 - Journal of Symbolic Logic 30 (1):58-64.
  9.  79
    (1 other version)A Manual of Intensional Logic.R. A. Bull & Johan van Benthem - 1989 - Journal of Symbolic Logic 54 (4):1489.
  10.  46
    Some results for implicational calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
  11.  39
    An axiomatization of Prior's modal calculus $Q$.R. A. Bull - 1964 - Notre Dame Journal of Formal Logic 5 (3):211-214.
  12.  75
    The implicational fragment of dummet's LC.R. A. Bull - 1962 - Journal of Symbolic Logic 27 (2):189-194.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  75
    Note on a paper in tense logic.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):215-218.
    In [1, §4], my ‘proof’ that GH1 has the finite model property is incorrect; there are considerable obscurities towards the end of §1, particularly on p. 33; and I should have exhibited the finite models for GH1. In §1 of this paper I expand the analysis of the sub-directly irreducible models for GH1 which I give in §1 of [1]. In §2 I give a correct proof that GH1 has the finite model property. In §3 I exhibit these finite models (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  40
    Survey of generalizations of Urquhart semantics.R. A. Bull - 1987 - Notre Dame Journal of Formal Logic 28 (2):220-237.
  15.  20
    (1 other version)A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Mathematical Logic Quarterly 11 (2):127-132.
  16.  20
    Correction to: ``Survey of generalizations of Urquhart semantics''.R. A. Bull - 1988 - Notre Dame Journal of Formal Logic 30 (1):151-153.
  17.  24
    Krister Segerberg. Some modal logics based on a three-valued logic. Theoria , vol. 33 , pp. 53–71.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-310.
  18.  24
    (1 other version)On a paper of akira nakamura.R. A. Bull - 1969 - Mathematical Logic Quarterly 15 (7‐12):155-156.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  55
    On Possible Worlds in Propositional Calculi.R. A. Bull - 1968 - Theoria 34 (3):171-182.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  19
    Schumm G. F.. On some open questions of B. Sobociński. Notre Dame Journal of format logic, vol. 10 no. 3 , pp. 261–262.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  21.  40
    Thomason S. K.. Noncompactness in propositional modal logic.R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
  22.  35
    On the extension of S4 with $CLMpMLp$.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):325-329.
  23.  39
    On three related extensions of S.R. A. Bull - 1967 - Notre Dame Journal of Formal Logic 8 (4):330-334.
  24.  83
    Hughes G. E. and Cresswell M. J.. An introduction to modal logic. Methuen and Co. Ltd., London 1968, xii + 388 pp. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328.
  25.  86
    Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 , also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
  26.  75
    Aldo Bressan. A general interpreted modal calculus. Yale University Press, New Haven and London 1972, xxviii + 327 pp. [REVIEW]R. A. Bull - 1974 - Journal of Symbolic Logic 39 (2):352.
  27.  32
    (1 other version)Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231. [REVIEW]R. A. Bull - 1970 - Journal of Symbolic Logic 34 (4):652-653.
  28. A. N. Prior. The parallel between modal logic and quantification theory. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 9–27. - A. N. Prior. Egocentric logic. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 28–45. , pp. 191–207.) - A. N. Prior. Supplement to ‘Egocentric logic’. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 46–50. - A. N. Prior. Worlds, limes and selves. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 51–66. , pp. 179–191.) - A. N. Prior. Tensed propositions as predicates. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 67–83. , pp. 290–297.) - A. N. Prio. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  38
    Anjan Shukla. Decision procedures for Lewis system S1 and related modal systems. Notre Dame journal of formal logic, vol. 11 , pp. 141–180. [REVIEW]R. A. Bull - 1972 - Journal of Symbolic Logic 37 (4):754-755.
  30.  59
    E. J. Lemmon. An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg. American philosophical quarterly monograph series, no. 11. Basil Blackwell, Oxford1977, x + 94 pp. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):653-654.
  31.  25
    (1 other version)Fitting Melvin. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
  32.  43
    John Thomas Canty. Systems classically axiomatized and properly contained in Lewis's S3. Notre Dame Journal of formal logic, vol. 6 , pp. 309–318. [REVIEW]R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309.
  33.  60
    Kit Fine. The logics containing S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 371–376. - Kit Fine. An ascending chain of S4 logics. Theoria, vol. 40 , pp. 110–116. - Kit Fine. Logics containing K4. Part I. The journal of symbolic logic, vol. 39 , pp. 31–42. - L. Esakia and V. Meskhi. Five critical modal systems. Theoria, vol. 43 , pp. 52–60. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.
  34.  28
    Review. [REVIEW]R. A. Bull - 1991 - Studia Logica 50 (3-4):623-629.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  58
    Review: Boleslaw Sobocinski, Note on G. J. Massey's Closure-Algebraic Operation. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (4):691-691.
  36.  27
    van Benthem Johan. A manual of intensional logic. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1985, also distributed by the University of Chicago Press, 74 pp.van Benthem Johan. A manual of intensional logic. Revised and expanded second edition. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1988, also distributed by the University of Chicago Press, ix + 135 pp. [REVIEW]R. A. Bull - 1989 - Journal of Symbolic Logic 54 (4):1489-1489.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark